The Recursion Theorem from a Different Angle
نویسنده
چکیده
Suppose that DoesHalt( Program, Input ) is a program that does its best to determine if Program halts on Input. It has the following property: if it returns true then Program halts on Input, if it returns false then Program does not halt on input. There may be some cases when it returns nothing, but whenever it is humanly possible to make a determination it will make it. And when it does make a determination it is always right!
منابع مشابه
Mathematical model creation for Reducing damages in basketball players
Introduction: Hand and wrist stability are critical for optimal upper extremity function. Instability occurs when injury or a pathological condition alters balance, typically in the basketball players and handball players. Injury also can occur whenever the ligaments are subjected to tensile forces that exceed their physiological capacities. For example, thumb is stable in ext...
متن کاملPrediction of Extrusion Pressure in Vortex Extrusion Using a Streamline Approach
Vortex extrusion (VE) is a severe plastic deformation technique which is based on the synergies between high strain accumulation and high hydrostatic pressure. Such a high amount of pressure, places a mandate to seek the method for investigation of the load under processing conditions. For this, kinematically admissible velocity field and upper bound terms based on Bezier formulation are develo...
متن کاملAn extension theorem for finite positive measures on surfaces of finite dimensional unit balls in Hilbert spaces
A consistency criteria is given for a certain class of finite positive measures on the surfaces of the finite dimensional unit balls in a real separable Hilbert space. It is proved, through a Kolmogorov type existence theorem, that the class induces a unique positive measure on the surface of the unit ball in the Hilbert space. As an application, this will naturally accomplish the work of Kante...
متن کاملA Classification of Viruses Through Recursion Theorems
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose definitions are based on Kleene’s second recursion theorem. We introduce a notion of delayed recursion that we apply to both Kleene’s second recursion theorem and Smullyan’s double recursion theorem. This leads us to define four classes of viruses, two of them being polymorphic. The...
متن کاملEffectivity Questions for Kleene's Recursion Theorem
The present paper explores the interaction between two recursion-theoretic notions: program self-reference and learning partial recursive functions in the limit. Kleene’s Recursion Theorem formalises the notion of program self-reference: It says that given a partial-recursive function ψp there is an index e such that the e-th function ψe is equal to the e-th slice of ψp. The paper studies const...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1610.04592 شماره
صفحات -
تاریخ انتشار 2016